// Copyright (C) 2015 the V8 project authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
es6id: 9.5.7
description: >
    A property cannot be reported as non-existent, if it exists as a
    non-configurable own property of the target object.
info: |
    [[HasProperty]] (P)

    ...
    11. If booleanTrapResult is false, then
        ...
        c. If targetDesc is not undefined, then
            exception.
    ...
flags: [noStrict]
features: [Proxy]
---*/

function Test() {
    var target = {};
    var handler = {
      has: function(t, prop) {
        return 0;
      }
    };
    var p = new Proxy(target, handler);

    Object.defineProperty(target, "attr", {
      configurable: false,
      value: 1
    });

    assert.throws(TypeError, function() {
      with(p) {
        (attr);
      }
    });
}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}
